/**************************************************
Dojang_next.as
C_plus_plus
**************************************************/
void portal(Player@ player, Portal@ portal) {
    player.changeMap(player.getMap().getID() + 100);
    player.dojoAnimation();
}